Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·7h
📝Concrete Syntax
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3h·
Discuss: Hacker News, r/programming
🔗Lisp
How To Prepare Your API for AI Agents
thenewstack.io·25m
🔌Interface Evolution
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
The one-more-re-nightmare compiler (2021)
applied-langua.ge·21h·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Counting with Categories (Part 2)
golem.ph.utexas.edu·1d
🔀Category Theory
confluent relation
ncatlab.org·2d
λLambda Formalization
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·13h
🧮Prolog Parsing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Retrieval-Augmented Generation (RAG) System Architecture and Workflow
dev.to·14h·
Discuss: DEV
🔍Information Retrieval
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Using an LLM for query planning in RAG –> 40% better answer relevance
techcommunity.microsoft.com·17h·
Discuss: Hacker News
🔍Information Retrieval
The Guide to the Foundation Models Framework
azamsharp.com·29m·
Discuss: Hacker News
λLambda Formalization
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
LeetCode 2040 Beginner friendly explanation
dev.to·13h·
Discuss: DEV
🧮Kolmogorov Complexity